航海士としてのプログラマ 1973年度ACMチューリング賞受賞講演